projects / maintainer-tools.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f9a706) | patch
github-merge-pr: Prevent multiple Link: https://github.com/$REPO/pull/$PRID
authorChristian Marangi <[email protected]>
Sat, 16 Nov 2024 14:00:45 +0000 (15:00 +0100)
committerChristian Marangi <[email protected]>
Sat, 16 Nov 2024 14:00:45 +0000 (15:00 +0100)
commitdeac687606522a8ba4266c294ed6df4cc3288490
tree56ac77149da1950f931fd120109f0267802b415ctree | snapshot
parent0f9a70649173e0ce53f71de53a2d07679667ab25commit | diff
Link: https://github.com/$REPO/pull/$PRID
Link: https://github.com/$REPO/pull/$PRID
included in the commit by removing any already present entry with the
same link.

Signed-off-by: Christian Marangi <[email protected]>
github-merge-pr.sh diff | blob | history
Maintainer scripts for OpenWrt